Class index Class tree View Translator Encyclopaedia

equivalent class

Definition

An equivalent classes axiom EquivalentClasses( CE1 ... CEn ) states that all of the class expressions CEi, 1 ≤ i ≤ n, are semantically equivalent to each other. This axiom allows one to use each CEi as a synonym for each CEj — that is, in any expression in the ontology containing such an axiom, CEi can be replaced with CEj without affecting the meaning of the ontology.

Reference

  1. Motik B., Patel-Schneider PF., Parsia B. 2012 OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax (Second Edition). W3C Recommendation. [2025-3-15] www.w3.org
Creator: Michael Rubinigg
Properties

Label

equivalent class

EUPH Code (UID)

[8142]

EUPH IRI

http://www.w3.org/2002/07/owl#equivalentClass

Created

2025-03-16

Updated

2025-03-18
Relationships

Descriptor

n/a

Subclass of:

OWL 2 web ontology language

Superclass of:

No subclasses
Contributors

Class

Author: Michael Rubinigg

Definition

Author: Michael Rubinigg

Translation

Authors: Michael Rubinigg

Class translations

Propose translation

Filters

Columns

English
equivalent class

Phrase

Michael Rubinigg
Approved